#pragma once

#include <arch/intr.h>

#include <task/task.h>

intr_regs_frame_t *sched_tick(intr_regs_frame_t *frame);

uint64_t sched_get_tick();

void sched_add_task(task_block_t *task);